00100	
00200	
00300	
00400	
00500	
00600	
00700	                         STANFORD UNIVERSITY
00800	
00900	                    COMPUTER  SCIENCE  DEPARTMENT
01000	
01100	                            SPRING,   1974
01200	
01300	
01400	                     CS 224   COURSE  INFORMATION
01500	
01600	                   MODELS  OF  THOUGHT  PROCESSES
01700	
01800	                     (artificial intelligence)
01900	
02000	
02100	
02200	
02300	
02400	Questionnaire
02500	Fact Sheet
02600	Contents of "Class Notes for Computer Science 224 (Spring, 1974)"
02700	Supplementary Reading List
02800	Schedule of Lectures
02900	
03000	
     

00100	                CS 224   Fact Sheet
00200	
00300	
00400	Instructor:  Cordell Green
00500	             Office: Polya 257  ext: 2780
00600	             Office Hours:
00700	
00800	Teaching Assistant:  Doug Lenat
00900	             Office: Polya 263   ext: 4946
01000	             Office Hours:  11-12, 1:30-3  W
01100	                            12-1 Th
01200	
01300	Requirements:
01400	
01500	 1. There will be two textbooks required:
01600	
01700	Nilsson, N. J. (1971) Problem-Solving Methods in Artificial Intelligence.
01800	        New York:  McGraw-Hill.
01900	
02000	Schank, R. and Colby, K. (1973) Computer Models of Thought and
02100	        Language.  Freeman & Co.  Note: only chapters 1,4,5,6 required.
02200	
02300	
02400	 2. The Class Notes for CS 224 (Spring, 1974) are required reading.
02500	        These are a collection of reprints of recent articles.
02600	
02700	
02800	 3. There will be no exams; instead, each individual is responsible
02900	        for turning in, at periodic intervals, designs for various
03000	        parts of a robot.  These can be rough conceptual outlines,
03100	        certainly not debugged programs!!  As each phase of AI is
03200	        covered, one should think about what he has read and heard,
03300	        and perhaps use this to describe the relevant part of his robot.
03400	        Along with each description, one should comment on how it
03500	        integrates with the systems he has already sketched.
03600	
     

00100	         Contents of "CS 224 Class Notes (Spring, 1974)"
00200	
00300	Falk, G. (1972) Interpretation of Imperfect Line Data as a
00400	        Three-dimensional Scene;  in The Artificial Intelligence
00500	        Journal (Summer, 1972) Vol. 3, pp. 101-144.
00600	
00700	Feigenbaum, E. et al. (1971) On Generality and Problem Solving:
00800	        A Case Study Using The DENDRAL Program. (eds Meltzer and
00900	        Michie) Machine Intelligence 6,  pp 165-190.
01000	
01100	Fikes, R. E. et al (1972) Learning and Executing Generalized
01200	        Robot Plans.  Artificial Intelligece, Vol. 3 (Winter 1972).
01300	
01400	Minsky, M. and Papert, S. (1972) Artificial Intelligence Progress
01500	        Report.   MIT Project MAC, AI Memo 252. 
01600	
01700	Newell, Barnett, Forgie, Green, Licklider, Munson, Reddy, and
01800	        Woods (1971) Speech Understanding Systems: Final Report of a
01900	        Study Group.  Carnegie-Mellon University:  Computer Science
02000	        Department. Chaps. 1,4; Appendix A2.
02100	
02200	Reddy, D. Raj, Erman, Fennell, and Neely (1973)  The HEARSAY Speech
02300	        Understanding System: An Example of The Recognition Process.
02400	        Third IJCAI,  pp. 185-193.
02500	
02600	Samuel, A. (1967) Some Studies in Machine Learning Using The Game of
02700	        Checkers. II -- Recent Progress,  in The IBM Journal of
02800	        Research and Development, Vol. 11, No. 6, November, 1967,
02900	        pp. 601-617.
03000	
03100	Simon, H. (1973) Lessons from Perception for Chess-Playing Programs
03200	        (and vice versa), CMU Computer Science Research Review
03300	        1972-1973,  pp. 35-40.
03400	
03500	Winston, P. H. (1972)  The M.I.T. Robot,
03600	        Machine Intelligence 7, American Elsevier Pub., 
03700	        pp. 437-442 only.   ←←←←  note carefully
03800	
03900	Woods, W. A. and Makhoul, J. (1973) Mechnical Inference Problems in
04000	        Continuous Speech Understanding. Third IJCAI, pp.  200-207.
04100	
04200	Nilsson, N. J. (1974) Artificial Intelligence (an overview)
04300	        SRI Technical Note 89 (March, 1974), and also
04400	        IFIP Congress 74 (Sweden, August, 1974).
04500	
04600	
04700	In addition, attendance is required for The following films:
04800	        Motion & Vision (November, 1972) Suzanne Kandra. 22 minutes.
04900	        Automated Pump Assembly (APril, 1973) Paul and Pingle. 7 min.
     

00100	
00200	        Supplementary Reading List:
00300	
00400	Agin, G. and Binford, T.  (1973)  Computer Description of Curved
00500	        Objects. Third Internatonal Joint Conference
00600	        on Artificial Intelligence, Advanced Papers pp 629-640.
00700	
00800	Coles, S. et al (1972) 
00900	        in Science, Nov. 10, 1972. 
01000	        This letter is a reply to Weizenbaum's attack on AI (see below).
01100	Dreyfus, H. (1972) What Computers Can't Do.   Harper & Row.
01200	
01300	Firschein, O., and Coles, S. (1973) Forecasting and Assessing The
01400	        Impact of Artificial Intelligence on Society.
01500	        Third IJCAI, pp. 105-120.
01600	
01700	Lighthill, Sir J. (1973) 
01800	
01900	
02000	McCarthy, J. and Hayes, P. (1969) Some Philosophical Problems from
02100	        The Standpoint of AI.  Machine Intelligence 4 (eds Meltzer 
02200	        and Michie) pp. 463-502. Edinburgh University Press.
02300	
02400	Minsky, Marvin (1974) Frames.   M.I.T.
02500	        This will become available during April.
02600	
02700	MIT AI Memo 299 (1974) ARPA Proposal on Intelligent Automata and
02800	        Micro-automation.  Will become available sometime during term.
02900	
03000	Newell, A., and Moore, J. (1973) How Can MERLIN Understand?
03100	        Carnegie Mellon University, Computer Science Report,
03200	        Nov. 15, 1973.
03300	
03400	Newell, A. (1965) Limitations of The Current Stock of Ideas about
03500	        Problem:Solving.  Proceedings of a Conference on Electronic
03600	        Information Handling,  pp. 195-208. (eds Kent and Taulbee)
03700	        New York:  Spartan.
03800	
03900	Newell, A. (1969)  Heuristic Programming: Ill-Structured Problems,
04000	        in (ed. Aronofsky, A.) Progress in Operations Research III,
04100	        John WIley and Sons.
04200	
04300	Newell, A. (1970) Remarks on The Relationship Between AI and
04400	        Cognitive Psychology, in (Banerji and Mesarovic, eds.)
04500	        Theoretical Approaches to Non-Numerical Problem Solving,
04600	        pp 363-400.  New York: Springer-Verlag Pub.
04700	
04800	Reddy, Erman, and Neely (1973) A Model and a System for Machine
04900	        Recognition of Speech.  IEEE Transactons, Audio and
05000	        Electrostatics, Autumn, 21 (3) , June, 1973.
05100	
05200	Slagle, J. R. (1971) Artificial Intelligence: The Heuristic Programming
05300	        Approach.   New York: McGraw Hill.  
05400	
05500	Weizenbaum, J. (1972) On The Impact of The Computer on Society.
05600	        or:  How Does One Insult a Machine.
05700	        in Science, May 12, 1972, pp. 609-614.
05800	
05900	Winograd, T. (1971) Procedures as a Representation for Data in a
06000	        Computer Program for Understanding Natural Language.
06100	        Ph. D. Thesis, M.I.T.
06200	
06300	Yakimovsky, Y. and Feldman, J. (1973) A Semantics-Based Decision
06400	        Theory Region Analyzer. Third IJCAI, Advanced Papers pp 580-8.
06500	
06600	
06700	In addition, The following films may be seen during The quarter:
06800	
06900	Raj Reddy's new film
07000	Winston's Vision film
07100	
     

00100	      Schedule of Lectures (Tentative)
00200	
00300	
00400	1. April 2     Introduction                                  Green
00500	2. April 4     Problem Representation                        Green
00600	
00700	3. April 9     Problem Space Searching; Problem Reduction    Nilsson
00800	4. April 11    Game-Playing Programs                         Samuel
00900	
01000	5. April 16    Introduction to Theorem-Proving               Green
01100	6. April 18    Automatic Theorem-Proving Methods             Luckham
01200	
01300	7. April 23    Human Memory                                  Feigenbaum
01400	8. April 25    Human Problem-Solving                         Feigenbaum
01500	
01600	9. April 30    Formal Representation                         McCarthy
01700	10. May 2      Natural Language Processing                   Winograd
01800	
01900	11. May 7      Natural Language Processing                   Winograd
02000	12. May 9      Speech Understanding Systems                  Reddy
02100	
02200	13. May 14     Learning, Planning, STRIPS                    Fikes
02300	14. May 16     Vision and Robotics                           Feldman
02400	
02500	15. May 21     Vision and Robotics                           Binford
02600	16. May 23     Computer Models in Psychiatry                 Colby
02700	
02800	17. May 28     Applications of AI                            Buchanan
02900	18. May 29     Applications of AI                            Shortliffe
03000	
03100	19. June 3     Automatic Programming                         Green
03200	20. June 5     Review                                          
03300